Nuprl Definition : es_state_after 11,40

es_state_after(ese)
== when-after(e;es_info(es);es-pred?(es);es_init(es);es-Trans(es);es_val(es);es_time(es)).2 
latex


Definitionst.2, when-after(e;info;pred?;init;Trans;val;time), es_info(es), es-pred?(es), es_init(es), es-Trans(es), es_val(es)
FDL editor aliaseses_state_after

origin